:- module(mip).
:- export bb_inf / 4.
:- export bb_inf / 3.
:- comment(summary, "An example implementing MIP-style branch-and-bound").
:- comment(author, "Joachim Schimpf, IC-Parc").
:- comment(date, "$Date: 2003/12/09 20:05:02 $").
:- comment(copyright, "Parc Technologies").